#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
	int toulan = 0, toulans = 0;
	int sanfen = 0, sanfens = 0;
	int falan = 0, falans = 0;
	scanf("%d %d %d %d %d %d", &toulan, &toulans, &sanfen, &sanfens, &falan, &falans);
	double rate1 = 0, rate2 = 0, rate3 = 0;
	rate1 = toulans * 1.0 / toulan;
	rate2 = sanfens * 1.0 / sanfen;
	rate3 = falans * 1.0 / falan;
	if (rate1 + rate2 + rate3 >= 1.80)
	{
		printf("YES");
	}
	else
	{
		printf("NO");
	}
	return 0;
}


